" Byron Cook" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... Programming and Software Engineering)

Автор: Maria Alpuente, Автор: Byron Cook, Автор: Christophe Joubert

Категория: Техника

Размер книги: 7.71 Mb

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Автор: Tayssir Touili, Автор: Byron Cook, Автор: Paul Jackson

Категория: Компьютеры

Размер книги: 8.67 Mb

Formal Methods for Industrial Critical Systems, 14 conf., FMICS 2009

Автор: María Alpuente; Byron Cook; Christophe Joubert

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 7.78 Mb

Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007

Автор: Byron Cook, Автор: Andreas Podelski

Категория: CsLn_

Размер книги: 4.02 Mb

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

Автор: María Alpuente, Автор: Byron Cook, Автор: Christophe Joubert

Размер книги: 9.47 Mb